[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

01 - De la spécification formelle au partitionnement matériel logiciel

contributor Laboratoire de Mathématiques et d'Informatique, (EA 1802) Université d'Evry Bd des Coquibus, 91025 Evry
creator ISRAEL (M.)
DUPONT (D.)
date 2005-07-22T09:25:44Z
2005-07-22T09:25:44Z
1997
description Research on CAD for electronic systems and the CAD industry have seen significant developments, whit technological advances . This paper adresses hardware/software codesign from formal specification to hardware/software partitionning and introduces the reader to various aspects of codesign to help the reader develop a perpective on modern digital system design .
La recherche en CAO de systèmes électroniques ainsi que l'industrie de la CAO ont eu beaucoup de succès et se sont développées, conjointement avec les progrès technologiques. Aujourd'hui, la complexité des systèmes à concevoir est devenue telle que les problèmes deviennent impossibles à gérer humainement aux niveaux bas. C'est pourquoi l'industrie et le monde académique se sont attachés à développer des outils aux niveaux les plus élevés de la conception. Ainsi, la synthèse de haut niveau devient une étape obligatoire dans la méthodologie de conception des systèmes électroniques et la co-spécification de systèmes matériel/logiciels devient un domaine de recherche ouvert.
format 52628 bytes
application/pdf
identifier Traitement du Signal [Trait. Signal], 1997, Vol. 14, N° 6-NS, p. 559-568
0765-0019
  http://hdl.handle.net/2042/2025
language en_US
publisher GRETSI, Saint Martin d'Hères, France
rights http://irevues.inist.fr/IMG/pdf/Licence.pdf
source Traitement du Signal [Trait. Signal], ISSN 0765-0019, 1997, Vol. 14, N° 6-NS, p. 559-568
subject Spécification formelle
Conception assistée
Structure électronique
Conception
Outil logiciel
Système numérique
Implémentation
Signal numérique
Système réparti
Système embarqué
Partitionnement logiciel
Partitionnement matériel
title 01 - De la spécification formelle au partitionnement matériel logiciel
From formal specification to hardware/software partitionning
type Article